Formal verification of tree ensembles in safety-critical applications
- Författare
- Linköpings universitet John Törnblom
- (John Törnblom., Härtill 3 uppsatser, Lic.-avh. (sammanfattning) Linköping : Linköpings universitet, 2020)
- Genre
- Avhandlingar, theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Department of Computer and Information Science, Linköping University | 2020 | Sverige, Linköping | vii, 22 sidor illustrationer | 978-91-7929-748-0 |